Type \textbf{is Primitive}